<?php
    /*
     * cette page permet de detruire les variables de session et redirige vers la precedente page ou l'accueil
     */
    session_start();
    session_regenerate_id();
    session_destroy();
    if(isset($_SERVER['HTTP_REFERER']))
        header('location: '.$_SERVER['HTTP_REFERER']);
    else
        header('location: index.php');
        
    
    
?>
